Monoid Valuations and Value Ordered Supervaluations
نویسندگان
چکیده
منابع مشابه
Valuations and Metrics on Partially Ordered Sets
We extend the definitions of upper and lower valuations on partially ordered sets, and consider the metrics they induce, in particular the metrics available (or not) based on the logarithms of such valuations. Motivating applications in computational linguistics and computational biology are indicated.
متن کاملSupervaluations Debugged
We must begin by stating an erroneous view. Modality may be supposed to affect the assertion in its formal character, and without regard to that which is asserted. We may take for instance a content S – P, not yet asserted, and may claim for modality the power of affirming this content S – P, unaltered and unqualified, in several ways. S – P, it is supposed, may be asserted, for instance, eithe...
متن کاملFuzzy Automata based on Lattice-Ordered Monoid and Associated Topology∗
The concepts of fuzzy source and fuzzy successor operators for an L-fuzzy automaton (L is a latticeordered monoid) are introduced, which turn out to be L-fuzzy closure operators. When L is a quantale, these operators introduce L-fuzzy topologies. These observations are then used to give topological characterization of the separatedness and connectedness properties of an L-fuzzy automaton. c ©20...
متن کاملŁukasiewicz , supervaluations , and the future
In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now.” I give a simple Hilbertstyle proof theory, and a soundness and completeness argument for the proof theory with respec...
متن کامل/ Lukasiewicz, Supervaluations, And The Future
In this paper I consider an interpretation of future contingents which motivates a uniication of a Lukiasiewicz-style logic, and the more classical, supervaluational semantics. This in turn motivates a new non-classical logic modelling what is \made true by history up until now". I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with resp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2015
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927872.2014.913057